% !Mode:: "TeX:UTF-8"
@BOOK{nepeivoda,
  AUTHOR =       {Непейвода, Н. Н.},
  TITLE =        {Практическая логика},
  PUBLISHER =    {Новосибирск, НГУ},
  YEAR =         {2000},
}

@BOOK{kuliamin,
  AUTHOR =       {Кулямин, В. В. },
  TITLE =        {Методы верификации программного обеспечения},
  PUBLISHER =    {Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению
  <<Информационно-телекоммуникационные системы>>},
  YEAR =         {2008},
}

@BOOK{tanenbaum_os,
  AUTHOR =       {Э. Таненбаум},
  TITLE =        {Современные операционные системы},
  PUBLISHER =    {Питер},
  YEAR =         {2002},
}

@Book{Cormen,
  AUTHOR = {Т. Кормен and Ч. Лейзерсон and Р. Ривест},
  TITLE = {Алгоритмы: построение и анализ},
  PUBLISHER = {МЦНМО},
  YEAR = {2002},
}

@BOOK{mayer,
  AUTHOR =       {Мейер, Б.},
  TITLE =        {Объектно-ориентированное конструирование программных систем},
  PUBLISHER =    {Русская редакция},
  YEAR =         {2005},
}

@BOOK{structures_algorithms,
  AUTHOR =       {Ахо, А. В. and Хопкрофт, Д. Э. and Ульман, Д. Д.},
  TITLE =        {Структуры данных и алгоритмы},
  PUBLISHER =    {Вильямс},
  YEAR =         {2003},
}

@BOOK{ModellingSystems,
  AUTHOR =       {Fitzgerald, J. and Larsen, P. G.},
  TITLE =        {Modelling Systems: Practical Tools and Techniques for Software Development},
  PUBLISHER =    {Cambridge University Press},
  YEAR =         {2009},
}

@BOOK{Shen,
  AUTHOR =       {Шень, А.},
  TITLE =        {Программирование: теоремы и задачи},
  PUBLISHER =    {МЦНМО},
  YEAR =         {2004},
  edition =      {2},
}

